perm filename FONTS.TYP[TEX,DEK] blob
sn#754295 filedate 1984-05-14 generic text, type T, neo UTF8
This is DVItype, Version 2.5
Options selected:
Starting page = *
Maximum number of pages = 1000000
Output level = 1 (terse)
Resolution = 384.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000; 0.00008108 pixels per DVI unit
' TeX output 1984.05.14:1341'
42: beginning of page 1
87: push
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0)
88: down3 -917504 v:=0-917504=-917504, vv:=-74
92: pop
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0)
93: down4 42152922 v:=0+42152922=42152922, vv:=3418
98: push
level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=3418)
99: down4 -41497562 v:=42152922-41497562=655360, vv:=53
104: push
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=53)
[ ]
109: fntdef1 0: amr10---loaded at size 655360 DVI units
130: fntnum0 current font is amr10
[A]
132: pop
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=53)
133: y3 786432 v:=655360+786432=1441792, vv:=117
137: push
level 1:(h=0,v=1441792,w=0,x=0,y=786432,z=0,hh=0,vv=117)
[ ]
142: fntdef1 1: amr9---loaded at size 589824 DVI units
162: fntnum1 current font is amr9
[A]
164: pop
level 1:(h=0,v=1441792,w=0,x=0,y=786432,z=0,hh=0,vv=117)
165: y0 786432 v:=1441792+786432=2228224, vv:=181
166: push
level 1:(h=0,v=2228224,w=0,x=0,y=786432,z=0,hh=0,vv=181)
[ ]
171: fntdef1 2: amr8---loaded at size 524288 DVI units
191: fntnum2 current font is amr8
[A]
193: pop
level 1:(h=0,v=2228224,w=0,x=0,y=786432,z=0,hh=0,vv=181)
194: y0 786432 v:=2228224+786432=3014656, vv:=244
195: push
level 1:(h=0,v=3014656,w=0,x=0,y=786432,z=0,hh=0,vv=244)
[ ]
200: fntdef1 3: amr7---loaded at size 458752 DVI units
220: fntnum3 current font is amr7
[A]
222: pop
level 1:(h=0,v=3014656,w=0,x=0,y=786432,z=0,hh=0,vv=244)
223: y0 786432 v:=3014656+786432=3801088, vv:=308
224: push
level 1:(h=0,v=3801088,w=0,x=0,y=786432,z=0,hh=0,vv=308)
[ ]
229: fntdef1 4: amr6---loaded at size 393216 DVI units
249: fntnum4 current font is amr6
[A]
251: pop
level 1:(h=0,v=3801088,w=0,x=0,y=786432,z=0,hh=0,vv=308)
252: y0 786432 v:=3801088+786432=4587520, vv:=372
253: push
level 1:(h=0,v=4587520,w=0,x=0,y=786432,z=0,hh=0,vv=372)
[ ]
258: fntdef1 5: amr5---loaded at size 327680 DVI units
278: fntnum5 current font is amr5
[A]
280: pop
level 1:(h=0,v=4587520,w=0,x=0,y=786432,z=0,hh=0,vv=372)
281: y0 786432 v:=4587520+786432=5373952, vv:=436
282: push
level 1:(h=0,v=5373952,w=0,x=0,y=786432,z=0,hh=0,vv=436)
[ ]
287: fntdef1 6: ammi10---loaded at size 655360 DVI units
309: fntnum6 current font is ammi10
[A]
311: pop
level 1:(h=0,v=5373952,w=0,x=0,y=786432,z=0,hh=0,vv=436)
312: y0 786432 v:=5373952+786432=6160384, vv:=499
313: push
level 1:(h=0,v=6160384,w=0,x=0,y=786432,z=0,hh=0,vv=499)
[ ]
318: fntdef1 7: ammi9---loaded at size 589824 DVI units
339: fntnum7 current font is ammi9
[A]
341: pop
level 1:(h=0,v=6160384,w=0,x=0,y=786432,z=0,hh=0,vv=499)
342: y0 786432 v:=6160384+786432=6946816, vv:=563
343: push
level 1:(h=0,v=6946816,w=0,x=0,y=786432,z=0,hh=0,vv=563)
[ ]
348: fntdef1 8: ammi8---loaded at size 524288 DVI units
369: fntnum8 current font is ammi8
[A]
371: pop
level 1:(h=0,v=6946816,w=0,x=0,y=786432,z=0,hh=0,vv=563)
372: y0 786432 v:=6946816+786432=7733248, vv:=627
373: push
level 1:(h=0,v=7733248,w=0,x=0,y=786432,z=0,hh=0,vv=627)
[ ]
378: fntdef1 9: ammi7---loaded at size 458752 DVI units
399: fntnum9 current font is ammi7
[A]
401: pop
level 1:(h=0,v=7733248,w=0,x=0,y=786432,z=0,hh=0,vv=627)
402: y0 786432 v:=7733248+786432=8519680, vv:=691
403: push
level 1:(h=0,v=8519680,w=0,x=0,y=786432,z=0,hh=0,vv=691)
[ ]
408: fntdef1 10: ammi6---loaded at size 393216 DVI units
429: fntnum10 current font is ammi6
[A]
431: pop
level 1:(h=0,v=8519680,w=0,x=0,y=786432,z=0,hh=0,vv=691)
432: y0 786432 v:=8519680+786432=9306112, vv:=755
433: push
level 1:(h=0,v=9306112,w=0,x=0,y=786432,z=0,hh=0,vv=755)
[ ]
438: fntdef1 11: ammi5---loaded at size 327680 DVI units
459: fntnum11 current font is ammi5
[A]
461: pop
level 1:(h=0,v=9306112,w=0,x=0,y=786432,z=0,hh=0,vv=755)
462: y0 786432 v:=9306112+786432=10092544, vv:=818
463: push
level 1:(h=0,v=10092544,w=0,x=0,y=786432,z=0,hh=0,vv=818)
[ ]
468: fntdef1 12: amsy10---loaded at size 655360 DVI units
490: fntnum12 current font is amsy10
[A]
492: pop
level 1:(h=0,v=10092544,w=0,x=0,y=786432,z=0,hh=0,vv=818)
493: y0 786432 v:=10092544+786432=10878976, vv:=882
494: push
level 1:(h=0,v=10878976,w=0,x=0,y=786432,z=0,hh=0,vv=882)
[ ]
499: fntdef1 13: amsy9---loaded at size 589824 DVI units
520: fntnum13 current font is amsy9
[A]
522: pop
level 1:(h=0,v=10878976,w=0,x=0,y=786432,z=0,hh=0,vv=882)
523: y0 786432 v:=10878976+786432=11665408, vv:=946
524: push
level 1:(h=0,v=11665408,w=0,x=0,y=786432,z=0,hh=0,vv=946)
[ ]
529: fntdef1 14: amsy8---loaded at size 524288 DVI units
550: fntnum14 current font is amsy8
[A]
552: pop
level 1:(h=0,v=11665408,w=0,x=0,y=786432,z=0,hh=0,vv=946)
553: y0 786432 v:=11665408+786432=12451840, vv:=1010
554: push
level 1:(h=0,v=12451840,w=0,x=0,y=786432,z=0,hh=0,vv=1010)
[ ]
559: fntdef1 15: amsy7---loaded at size 458752 DVI units
580: fntnum15 current font is amsy7
[A]
582: pop
level 1:(h=0,v=12451840,w=0,x=0,y=786432,z=0,hh=0,vv=1010)
583: y0 786432 v:=12451840+786432=13238272, vv:=1073
584: push
level 1:(h=0,v=13238272,w=0,x=0,y=786432,z=0,hh=0,vv=1073)
[ ]
589: fntdef1 16: amsy6---loaded at size 393216 DVI units
610: fntnum16 current font is amsy6
[A]
612: pop
level 1:(h=0,v=13238272,w=0,x=0,y=786432,z=0,hh=0,vv=1073)
613: y0 786432 v:=13238272+786432=14024704, vv:=1137
614: push
level 1:(h=0,v=14024704,w=0,x=0,y=786432,z=0,hh=0,vv=1137)
[ ]
619: fntdef1 17: amsy5---loaded at size 327680 DVI units
640: fntnum17 current font is amsy5
[A]
642: pop
level 1:(h=0,v=14024704,w=0,x=0,y=786432,z=0,hh=0,vv=1137)
643: y0 786432 v:=14024704+786432=14811136, vv:=1201
644: push
level 1:(h=0,v=14811136,w=0,x=0,y=786432,z=0,hh=0,vv=1201)
[ ]
649: fntdef1 18: amex10---loaded at size 655360 DVI units
671: fntnum18 current font is amex10
[A]
673: pop
level 1:(h=0,v=14811136,w=0,x=0,y=786432,z=0,hh=0,vv=1201)
674: down3 1700295 v:=14811136+1700295=16511431, vv:=1339
678: push
level 1:(h=0,v=16511431,w=0,x=0,y=786432,z=0,hh=0,vv=1339)
[ ]
683: fntdef1 19: amss10---loaded at size 655360 DVI units
705: fntnum19 current font is amss10
[A]
707: pop
level 1:(h=0,v=16511431,w=0,x=0,y=786432,z=0,hh=0,vv=1339)
708: y0 786432 v:=16511431+786432=17297863, vv:=1402
709: push
level 1:(h=0,v=17297863,w=0,x=0,y=786432,z=0,hh=0,vv=1402)
[ ]
714: fntdef1 20: amssq8---loaded at size 524288 DVI units
736: fntnum20 current font is amssq8
[A]
738: pop
level 1:(h=0,v=17297863,w=0,x=0,y=786432,z=0,hh=0,vv=1402)
739: y0 786432 v:=17297863+786432=18084295, vv:=1466
740: push
level 1:(h=0,v=18084295,w=0,x=0,y=786432,z=0,hh=0,vv=1466)
[ ]
745: fntdef1 21: amssi10---loaded at size 655360 DVI units
768: fntnum21 current font is amssi10
[A]
770: pop
level 1:(h=0,v=18084295,w=0,x=0,y=786432,z=0,hh=0,vv=1466)
771: y0 786432 v:=18084295+786432=18870727, vv:=1530
772: push
level 1:(h=0,v=18870727,w=0,x=0,y=786432,z=0,hh=0,vv=1530)
[ ]
777: fntdef1 22: amssqi8---loaded at size 524288 DVI units
800: fntnum22 current font is amssqi8
[A]
802: pop
level 1:(h=0,v=18870727,w=0,x=0,y=786432,z=0,hh=0,vv=1530)
803: y0 786432 v:=18870727+786432=19657159, vv:=1594
804: push
level 1:(h=0,v=19657159,w=0,x=0,y=786432,z=0,hh=0,vv=1594)
[ ]
809: fntdef1 23: ambx10---loaded at size 655360 DVI units
831: fntnum23 current font is ambx10
[A]
833: pop
level 1:(h=0,v=19657159,w=0,x=0,y=786432,z=0,hh=0,vv=1594)
834: y0 786432 v:=19657159+786432=20443591, vv:=1657
835: push
level 1:(h=0,v=20443591,w=0,x=0,y=786432,z=0,hh=0,vv=1657)
[ ]
840: fntdef1 24: ambx9---loaded at size 589824 DVI units
861: fntnum24 current font is ambx9
[A]
863: pop
level 1:(h=0,v=20443591,w=0,x=0,y=786432,z=0,hh=0,vv=1657)
864: y0 786432 v:=20443591+786432=21230023, vv:=1721
865: push
level 1:(h=0,v=21230023,w=0,x=0,y=786432,z=0,hh=0,vv=1721)
[ ]
870: fntdef1 25: ambx8---loaded at size 524288 DVI units
891: fntnum25 current font is ambx8
[A]
893: pop
level 1:(h=0,v=21230023,w=0,x=0,y=786432,z=0,hh=0,vv=1721)
894: y0 786432 v:=21230023+786432=22016455, vv:=1785
895: push
level 1:(h=0,v=22016455,w=0,x=0,y=786432,z=0,hh=0,vv=1785)
[ ]
900: fntdef1 26: ambx7---loaded at size 458752 DVI units
921: fntnum26 current font is ambx7
[A]
923: pop
level 1:(h=0,v=22016455,w=0,x=0,y=786432,z=0,hh=0,vv=1785)
924: y0 786432 v:=22016455+786432=22802887, vv:=1849
925: push
level 1:(h=0,v=22802887,w=0,x=0,y=786432,z=0,hh=0,vv=1849)
[ ]
930: fntdef1 27: ambx6---loaded at size 393216 DVI units
951: fntnum27 current font is ambx6
[A]
953: pop
level 1:(h=0,v=22802887,w=0,x=0,y=786432,z=0,hh=0,vv=1849)
954: y0 786432 v:=22802887+786432=23589319, vv:=1913
955: push
level 1:(h=0,v=23589319,w=0,x=0,y=786432,z=0,hh=0,vv=1913)
[ ]
960: fntdef1 28: ambx5---loaded at size 327680 DVI units
981: fntnum28 current font is ambx5
[A]
983: pop
level 1:(h=0,v=23589319,w=0,x=0,y=786432,z=0,hh=0,vv=1913)
984: y0 786432 v:=23589319+786432=24375751, vv:=1976
985: push
level 1:(h=0,v=24375751,w=0,x=0,y=786432,z=0,hh=0,vv=1976)
[ ]
990: fntdef1 29: amtt10---loaded at size 655360 DVI units
1012: fntnum29 current font is amtt10
[A]
1014: pop
level 1:(h=0,v=24375751,w=0,x=0,y=786432,z=0,hh=0,vv=1976)
1015: y0 786432 v:=24375751+786432=25162183, vv:=2040
1016: push
level 1:(h=0,v=25162183,w=0,x=0,y=786432,z=0,hh=0,vv=2040)
[ ]
1021: fntdef1 30: amtt9---loaded at size 589824 DVI units
1042: fntnum30 current font is amtt9
[A]
1044: pop
level 1:(h=0,v=25162183,w=0,x=0,y=786432,z=0,hh=0,vv=2040)
1045: y0 786432 v:=25162183+786432=25948615, vv:=2104
1046: push
level 1:(h=0,v=25948615,w=0,x=0,y=786432,z=0,hh=0,vv=2104)
[ ]
1051: fntdef1 31: amtt8---loaded at size 524288 DVI units
1072: fntnum31 current font is amtt8
[A]
1074: pop
level 1:(h=0,v=25948615,w=0,x=0,y=786432,z=0,hh=0,vv=2104)
1075: y0 786432 v:=25948615+786432=26735047, vv:=2168
1076: push
level 1:(h=0,v=26735047,w=0,x=0,y=786432,z=0,hh=0,vv=2168)
[ ]
1081: fntdef1 32: amsltt10---loaded at size 655360 DVI units
1105: fntnum32 current font is amsltt10
[A]
1107: pop
level 1:(h=0,v=26735047,w=0,x=0,y=786432,z=0,hh=0,vv=2168)
1108: y0 786432 v:=26735047+786432=27521479, vv:=2231
1109: push
level 1:(h=0,v=27521479,w=0,x=0,y=786432,z=0,hh=0,vv=2231)
[ ]
1114: fntdef1 33: amsl10---loaded at size 655360 DVI units
1136: fntnum33 current font is amsl10
[A]
1138: pop
level 1:(h=0,v=27521479,w=0,x=0,y=786432,z=0,hh=0,vv=2231)
1139: y0 786432 v:=27521479+786432=28307911, vv:=2295
1140: push
level 1:(h=0,v=28307911,w=0,x=0,y=786432,z=0,hh=0,vv=2295)
[ ]
1145: fntdef1 34: amsl9---loaded at size 589824 DVI units
1166: fntnum34 current font is amsl9
[A]
1168: pop
level 1:(h=0,v=28307911,w=0,x=0,y=786432,z=0,hh=0,vv=2295)
1169: y0 786432 v:=28307911+786432=29094343, vv:=2359
1170: push
level 1:(h=0,v=29094343,w=0,x=0,y=786432,z=0,hh=0,vv=2359)
[ ]
1175: fntdef1 35: amsl8---loaded at size 524288 DVI units
1196: fntnum35 current font is amsl8
[A]
1198: pop
level 1:(h=0,v=29094343,w=0,x=0,y=786432,z=0,hh=0,vv=2359)
1199: y0 786432 v:=29094343+786432=29880775, vv:=2423
1200: push
level 1:(h=0,v=29880775,w=0,x=0,y=786432,z=0,hh=0,vv=2423)
[ ]
1205: fntdef1 36: amti10---loaded at size 655360 DVI units
1227: fntnum36 current font is amti10
[A]
1229: pop
level 1:(h=0,v=29880775,w=0,x=0,y=786432,z=0,hh=0,vv=2423)
1230: y0 786432 v:=29880775+786432=30667207, vv:=2486
1231: push
level 1:(h=0,v=30667207,w=0,x=0,y=786432,z=0,hh=0,vv=2486)
[ ]
1236: fntdef1 37: amti9---loaded at size 589824 DVI units
1257: fntnum37 current font is amti9
[A]
1259: pop
level 1:(h=0,v=30667207,w=0,x=0,y=786432,z=0,hh=0,vv=2486)
1260: y0 786432 v:=30667207+786432=31453639, vv:=2550
1261: push
level 1:(h=0,v=31453639,w=0,x=0,y=786432,z=0,hh=0,vv=2550)
[ ]
1266: fntdef1 38: amti8---loaded at size 524288 DVI units
1287: fntnum38 current font is amti8
[A]
1289: pop
level 1:(h=0,v=31453639,w=0,x=0,y=786432,z=0,hh=0,vv=2550)
1290: y0 786432 v:=31453639+786432=32240071, vv:=2614
1291: push
level 1:(h=0,v=32240071,w=0,x=0,y=786432,z=0,hh=0,vv=2614)
[ ]
1296: fntdef1 39: amti7---loaded at size 458752 DVI units
1317: fntnum39 current font is amti7
[A]
1319: pop
level 1:(h=0,v=32240071,w=0,x=0,y=786432,z=0,hh=0,vv=2614)
1320: y0 786432 v:=32240071+786432=33026503, vv:=2678
1321: push
level 1:(h=0,v=33026503,w=0,x=0,y=786432,z=0,hh=0,vv=2678)
[ ]
1326: fntdef1 40: amu10---loaded at size 655360 DVI units
1347: fntnum40 current font is amu10
[A]
1349: pop
level 1:(h=0,v=33026503,w=0,x=0,y=786432,z=0,hh=0,vv=2678)
1350: y0 786432 v:=33026503+786432=33812935, vv:=2741
1351: push
level 1:(h=0,v=33812935,w=0,x=0,y=786432,z=0,hh=0,vv=2741)
[ ]
1356: fntdef1 41: ambi10---loaded at size 655360 DVI units
1378: fntnum41 current font is ambi10
[A]
1380: pop
level 1:(h=0,v=33812935,w=0,x=0,y=786432,z=0,hh=0,vv=2741)
1381: y0 786432 v:=33812935+786432=34599367, vv:=2805
1382: push
level 1:(h=0,v=34599367,w=0,x=0,y=786432,z=0,hh=0,vv=2805)
[ ]
1387: fntdef1 42: ambsy10---loaded at size 655360 DVI units
1410: fntnum42 current font is ambsy10
[A]
1412: pop
level 1:(h=0,v=34599367,w=0,x=0,y=786432,z=0,hh=0,vv=2805)
1413: y0 786432 v:=34599367+786432=35385799, vv:=2869
1414: push
level 1:(h=0,v=35385799,w=0,x=0,y=786432,z=0,hh=0,vv=2869)
[ ]
1419: fntdef1 43: amcsc10---loaded at size 655360 DVI units
1442: fntnum43 current font is amcsc10
[A]
1444: pop
level 1:(h=0,v=35385799,w=0,x=0,y=786432,z=0,hh=0,vv=2869)
1445: y0 786432 v:=35385799+786432=36172231, vv:=2933
1446: push
level 1:(h=0,v=36172231,w=0,x=0,y=786432,z=0,hh=0,vv=2933)
[ ]
1451: fntdef1 44: amssbx10---loaded at size 655360 DVI units
1475: fntnum44 current font is amssbx10
[A]
1477: pop
level 1:(h=0,v=36172231,w=0,x=0,y=786432,z=0,hh=0,vv=2933)
1478: y0 786432 v:=36172231+786432=36958663, vv:=2996
1479: push
level 1:(h=0,v=36958663,w=0,x=0,y=786432,z=0,hh=0,vv=2996)
[ ]
1484: fntdef1 45: amdunh10---loaded at size 655360 DVI units
1508: fntnum45 current font is amdunh10
[A]
1510: pop
level 1:(h=0,v=36958663,w=0,x=0,y=786432,z=0,hh=0,vv=2996)
1511: y0 786432 v:=36958663+786432=37745095, vv:=3060
1512: push
level 1:(h=0,v=37745095,w=0,x=0,y=786432,z=0,hh=0,vv=3060)
[ ]
1517: fntdef1 46: amr7---loaded at size 951451 DVI units
(this font is magnified 207%)
1537: fntnum46 current font is amr7
[A]
1539: pop
level 1:(h=0,v=37745095,w=0,x=0,y=786432,z=0,hh=0,vv=3060)
1540: y0 786432 v:=37745095+786432=38531527, vv:=3124
1541: push
level 1:(h=0,v=38531527,w=0,x=0,y=786432,z=0,hh=0,vv=3124)
[ ]
1546: fntdef1 47: amtt10---loaded at size 943718 DVI units
(this font is magnified 144%)
1568: fntnum47 current font is amtt10
[A]
1570: pop
level 1:(h=0,v=38531527,w=0,x=0,y=786432,z=0,hh=0,vv=3124)
1571: y0 786432 v:=38531527+786432=39317959, vv:=3188
1572: push
level 1:(h=0,v=39317959,w=0,x=0,y=786432,z=0,hh=0,vv=3188)
[ ]
1577: fntdef1 48: amssbx10---loaded at size 943718 DVI units
(this font is magnified 144%)
1601: fntnum48 current font is amssbx10
[A]
1603: pop
level 1:(h=0,v=39317959,w=0,x=0,y=786432,z=0,hh=0,vv=3188)
1604: y0 786432 v:=39317959+786432=40104391, vv:=3252
1605: push
level 1:(h=0,v=40104391,w=0,x=0,y=786432,z=0,hh=0,vv=3252)
[ ]
1610: fntdef1 49: manfnt---loaded at size 655360 DVI units
1632: fntnum49 current font is manfnt
[A]
1634: pop
level 1:(h=0,v=40104391,w=0,x=0,y=786432,z=0,hh=0,vv=3252)
1635: pop
level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=3418)
1636: down3 1572864 v:=42152922+1572864=43725786, vv:=3545
1640: eop
Postamble starts at byte 1641.
maxv=43725786, maxh=30785863, maxstackdepth=2, totalpages=1
Font 49: manfnt
Font 48: amssbx10
Font 47: amtt10
Font 46: amr7
Font 45: amdunh10
Font 44: amssbx10
Font 43: amcsc10
Font 42: ambsy10
Font 41: ambi10
Font 40: amu10
Font 39: amti7
Font 38: amti8
Font 37: amti9
Font 36: amti10
Font 35: amsl8
Font 34: amsl9
Font 33: amsl10
Font 32: amsltt10
Font 31: amtt8
Font 30: amtt9
Font 29: amtt10
Font 28: ambx5
Font 27: ambx6
Font 26: ambx7
Font 25: ambx8
Font 24: ambx9
Font 23: ambx10
Font 22: amssqi8
Font 21: amssi10
Font 20: amssq8
Font 19: amss10
Font 18: amex10
Font 17: amsy5
Font 16: amsy6
Font 15: amsy7
Font 14: amsy8
Font 13: amsy9
Font 12: amsy10
Font 11: ammi5
Font 10: ammi6
Font 9: ammi7
Font 8: ammi8
Font 7: ammi9
Font 6: ammi10
Font 5: amr5
Font 4: amr6
Font 3: amr7
Font 2: amr8
Font 1: amr9
Font 0: amr10